<?php

var_dump(8589934592);
